单词axiom of choice
un.: 选择公理
选择公理
When a mathematical result requires the axiom of choice, this fact is often stated explicitly.
在数学成果要求选择公理的时候，有时明显的这么声明。
the face of a dispute, we have the axiom of choice.
面对争执，我们选择公理。
That last one, called Tychonoff"s theorem, is yet another equivalence to the axiom of choice.
最后一个也叫做吉洪诺夫定理，它是选择公理的另一个等价形式。